間接證明有（）和選言證法。

課堂上,老師出了一道邏輯試題:有一個正確的三段論，它的小前提是肯定的，試問，這個三段論屬于哪一格?

學生甲答:“屬于第一格。因為如果它是第-格，那么小前提必然是肯定的;而這個三段論的小前提是肯定的;所以，它屬于第一格。”

學生乙同意甲的意見，并補充了一點:“只有小前提是肯定的，才是第一格的正確三段論;現在小前提肯定;那它是第一格無疑了。”

以上學生甲和學生乙的回答（）

• A、都是合乎邏輯的
  
  

• B、都是不合乎邏輯的
  
  

• C、甲合乎邏輯,乙不合乎邏輯
  
  

• D、甲不合乎邏輯,乙合乎邏輯
  
  

以“不可能p”為前提，根據模態邏輯方陣,可必然推出的結論是（）

• A、必然非p
• B、必然p
• C、不可能非P
• D、可能p
• E、并非必然p